Multiple facets for dynamic information flow
نویسندگان
چکیده
منابع مشابه
Practical, Dynamic Information-flow for Virtual Machines
For decades, secure operating systems have incorporated mandatory access control (MAC) techniques. Surprisingly, mobile-code platforms such as the Java Virtual Machine (JVM) and the .NET Common Language Runtime (CLR) have largely ignored these advances and have implemented a far weaker security that does not reliably track ownership and access permissions for individual data items. We have impl...
متن کاملRewriting-based Dynamic Information Flow for JavaScript
JavaScript web applications often dynamically load third-party code, which in some cases can steal or corrupt important client information. In this paper, we present a rewriting-based approach for enforcing confidentiality and integrity policies that respectively specify what information can flow into and from untrusted thirdparty code. We have implemented our approach in the Chrome browser, an...
متن کاملFacets for the Multiple Knapsack Problem
In this paper we consider the multiple knapsack problem which is deened as follows: given a set N of items with weights f i , i 2 N, a set M of knapsacks with capacities F k , k 2 M, and a proot function c ik ; i 2 N; k 2 M; nd an assignment of a subset of the set of items to the set of knapsacks that yields maximum proot (or minimum cost). With every instance of this problem we associate a pol...
متن کاملThe multiple facets of multiple sclerosis.
INTRODUCTION Multiple sclerosis (MS) is an inflammatory and degenerative entity that may involve the brain, optic nerve, and/or the spinal cord. We reviewed 137 patients, aged 4-54 years old at the time of the diagnosis and will report on the vision, different motility disorders found, visual fields, optic neuritis and RAPD, return of vision following the neuritis, visual evoked potential, nerv...
متن کاملThe multiple facets of Per2.
The Period 2 (Per2) gene is an important component of the circadian system. It appears to be not only part of the core oscillator mechanism, but also part of the input and output pathways of the clock. Because of its involvement at multiple levels of the circadian system, Per2 needs to meet a variety of different demands. We discuss how Per2 might be able to fulfill multiple functions by review...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2103621.2103677